3.1041 \(\int \frac{1}{x^4 \sqrt [4]{2-3 x^2} \left (4-3 x^2\right )} \, dx\)

Optimal. Leaf size=184 \[ -\frac{3 \left (2-3 x^2\right )^{3/4}}{16 x}+\frac{3 \sqrt{3} \tan ^{-1}\left (\frac{2^{3/4}-\sqrt [4]{2} \sqrt{2-3 x^2}}{\sqrt{3} x \sqrt [4]{2-3 x^2}}\right )}{32\ 2^{3/4}}+\frac{3 \sqrt{3} \tanh ^{-1}\left (\frac{\sqrt [4]{2} \sqrt{2-3 x^2}+2^{3/4}}{\sqrt{3} x \sqrt [4]{2-3 x^2}}\right )}{32\ 2^{3/4}}-\frac{\left (2-3 x^2\right )^{3/4}}{24 x^3}-\frac{3 \sqrt{3} E\left (\left .\frac{1}{2} \sin ^{-1}\left (\sqrt{\frac{3}{2}} x\right )\right |2\right )}{8\ 2^{3/4}} \]

[Out]

-(2 - 3*x^2)^(3/4)/(24*x^3) - (3*(2 - 3*x^2)^(3/4))/(16*x) + (3*Sqrt[3]*ArcTan[(
2^(3/4) - 2^(1/4)*Sqrt[2 - 3*x^2])/(Sqrt[3]*x*(2 - 3*x^2)^(1/4))])/(32*2^(3/4))
+ (3*Sqrt[3]*ArcTanh[(2^(3/4) + 2^(1/4)*Sqrt[2 - 3*x^2])/(Sqrt[3]*x*(2 - 3*x^2)^
(1/4))])/(32*2^(3/4)) - (3*Sqrt[3]*EllipticE[ArcSin[Sqrt[3/2]*x]/2, 2])/(8*2^(3/
4))

_______________________________________________________________________________________

Rubi [A]  time = 0.242954, antiderivative size = 184, normalized size of antiderivative = 1., number of steps used = 8, number of rules used = 4, integrand size = 24, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.167 \[ -\frac{3 \left (2-3 x^2\right )^{3/4}}{16 x}+\frac{3 \sqrt{3} \tan ^{-1}\left (\frac{2^{3/4}-\sqrt [4]{2} \sqrt{2-3 x^2}}{\sqrt{3} x \sqrt [4]{2-3 x^2}}\right )}{32\ 2^{3/4}}+\frac{3 \sqrt{3} \tanh ^{-1}\left (\frac{\sqrt [4]{2} \sqrt{2-3 x^2}+2^{3/4}}{\sqrt{3} x \sqrt [4]{2-3 x^2}}\right )}{32\ 2^{3/4}}-\frac{\left (2-3 x^2\right )^{3/4}}{24 x^3}-\frac{3 \sqrt{3} E\left (\left .\frac{1}{2} \sin ^{-1}\left (\sqrt{\frac{3}{2}} x\right )\right |2\right )}{8\ 2^{3/4}} \]

Antiderivative was successfully verified.

[In]  Int[1/(x^4*(2 - 3*x^2)^(1/4)*(4 - 3*x^2)),x]

[Out]

-(2 - 3*x^2)^(3/4)/(24*x^3) - (3*(2 - 3*x^2)^(3/4))/(16*x) + (3*Sqrt[3]*ArcTan[(
2^(3/4) - 2^(1/4)*Sqrt[2 - 3*x^2])/(Sqrt[3]*x*(2 - 3*x^2)^(1/4))])/(32*2^(3/4))
+ (3*Sqrt[3]*ArcTanh[(2^(3/4) + 2^(1/4)*Sqrt[2 - 3*x^2])/(Sqrt[3]*x*(2 - 3*x^2)^
(1/4))])/(32*2^(3/4)) - (3*Sqrt[3]*EllipticE[ArcSin[Sqrt[3/2]*x]/2, 2])/(8*2^(3/
4))

_______________________________________________________________________________________

Rubi in Sympy [A]  time = 8.98586, size = 32, normalized size = 0.17 \[ - \frac{2^{\frac{3}{4}} \operatorname{appellf_{1}}{\left (- \frac{3}{2},\frac{1}{4},1,- \frac{1}{2},\frac{3 x^{2}}{2},\frac{3 x^{2}}{4} \right )}}{24 x^{3}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  rubi_integrate(1/x**4/(-3*x**2+2)**(1/4)/(-3*x**2+4),x)

[Out]

-2**(3/4)*appellf1(-3/2, 1/4, 1, -1/2, 3*x**2/2, 3*x**2/4)/(24*x**3)

_______________________________________________________________________________________

Mathematica [C]  time = 0.247531, size = 156, normalized size = 0.85 \[ \frac{1}{8} \left (2-3 x^2\right )^{3/4} \left (\frac{9 x F_1\left (\frac{1}{2};-\frac{3}{4},1;\frac{3}{2};\frac{3 x^2}{2},\frac{3 x^2}{4}\right )}{\left (3 x^2-4\right ) \left (x^2 \left (2 F_1\left (\frac{3}{2};-\frac{3}{4},2;\frac{5}{2};\frac{3 x^2}{2},\frac{3 x^2}{4}\right )-3 F_1\left (\frac{3}{2};\frac{1}{4},1;\frac{5}{2};\frac{3 x^2}{2},\frac{3 x^2}{4}\right )\right )+4 F_1\left (\frac{1}{2};-\frac{3}{4},1;\frac{3}{2};\frac{3 x^2}{2},\frac{3 x^2}{4}\right )\right )}-\frac{9 x^2+2}{6 x^3}\right ) \]

Warning: Unable to verify antiderivative.

[In]  Integrate[1/(x^4*(2 - 3*x^2)^(1/4)*(4 - 3*x^2)),x]

[Out]

((2 - 3*x^2)^(3/4)*(-(2 + 9*x^2)/(6*x^3) + (9*x*AppellF1[1/2, -3/4, 1, 3/2, (3*x
^2)/2, (3*x^2)/4])/((-4 + 3*x^2)*(4*AppellF1[1/2, -3/4, 1, 3/2, (3*x^2)/2, (3*x^
2)/4] + x^2*(2*AppellF1[3/2, -3/4, 2, 5/2, (3*x^2)/2, (3*x^2)/4] - 3*AppellF1[3/
2, 1/4, 1, 5/2, (3*x^2)/2, (3*x^2)/4])))))/8

_______________________________________________________________________________________

Maple [F]  time = 0.115, size = 0, normalized size = 0. \[ \int{\frac{1}{{x}^{4} \left ( -3\,{x}^{2}+4 \right ) }{\frac{1}{\sqrt [4]{-3\,{x}^{2}+2}}}}\, dx \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  int(1/x^4/(-3*x^2+2)^(1/4)/(-3*x^2+4),x)

[Out]

int(1/x^4/(-3*x^2+2)^(1/4)/(-3*x^2+4),x)

_______________________________________________________________________________________

Maxima [F]  time = 0., size = 0, normalized size = 0. \[ -\int \frac{1}{{\left (3 \, x^{2} - 4\right )}{\left (-3 \, x^{2} + 2\right )}^{\frac{1}{4}} x^{4}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(-1/((3*x^2 - 4)*(-3*x^2 + 2)^(1/4)*x^4),x, algorithm="maxima")

[Out]

-integrate(1/((3*x^2 - 4)*(-3*x^2 + 2)^(1/4)*x^4), x)

_______________________________________________________________________________________

Fricas [F(-1)]  time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(-1/((3*x^2 - 4)*(-3*x^2 + 2)^(1/4)*x^4),x, algorithm="fricas")

[Out]

Timed out

_______________________________________________________________________________________

Sympy [F]  time = 0., size = 0, normalized size = 0. \[ - \int \frac{1}{3 x^{6} \sqrt [4]{- 3 x^{2} + 2} - 4 x^{4} \sqrt [4]{- 3 x^{2} + 2}}\, dx \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(1/x**4/(-3*x**2+2)**(1/4)/(-3*x**2+4),x)

[Out]

-Integral(1/(3*x**6*(-3*x**2 + 2)**(1/4) - 4*x**4*(-3*x**2 + 2)**(1/4)), x)

_______________________________________________________________________________________

GIAC/XCAS [F]  time = 0., size = 0, normalized size = 0. \[ \int -\frac{1}{{\left (3 \, x^{2} - 4\right )}{\left (-3 \, x^{2} + 2\right )}^{\frac{1}{4}} x^{4}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(-1/((3*x^2 - 4)*(-3*x^2 + 2)^(1/4)*x^4),x, algorithm="giac")

[Out]

integrate(-1/((3*x^2 - 4)*(-3*x^2 + 2)^(1/4)*x^4), x)